CV($F$)($t$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$F$($t$,CV($F$))  \emph{(recursive)}